1. Formal methods and hybrid real-time systems

Author:

Library: Central Library and Information Center of Shahed University (Tehran)

Subject: Bj▓rner, D., (Dines), 1937-,Chaochen, Zhou,Formal methods (Computer science), Congresses,Real-time data processing, Congresses

Classification :
QA
،
76
.
9
،.
F67
,
F525
،
2007

2. Formal methods and hybrid real-time systems

Author:

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Bj�rner, D.--(Dines),--1937,Chaochen, Zhou.,Formal methods (Computer science)--Congresses,Real-time data processing--Congresses

Classification :
QA
,
76
.
9
,.
F67
,
F525
,
2007

3. time systems-Formal methods and hybrid real

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: time data processing ; Congresses. ; - ; Chaochen, Zhou. ; Formal methods (Computer science) ; Congresses. ; Real-Bj?rner, D. ; (Dines), ; 1937